A Foundations of Behavioural Types
نویسندگان
چکیده
Hans Hüttel, Aalborg University Ivan Lanese, University of Bologna/INRIA Vasco T. Vasconcelos, University of Lisbon Luís Caires, New University of Lisbon Marco Carbone, ITU Copenhagen Pierre-Malo Deniélou, Royal Holloway, University of London Dimitris Mostrous, University of Lisbon Luca Padovani, University of Turin António Ravara, New University of Lisbon Emilio Tuosto, University of Leicester Hugo Torres Vieira, University of Lisbon Gianluigi Zavattaro, University of Bologna/INRIA
منابع مشابه
Ranking Effective Behavioural Factors Affecting Non –compliance in Business Tax from the Professional Perspective
The country's tax system has always faced many challenges in the business sector, and various factors have caused lack of tax compliance in this sector. In this research, the identification and ranking of effective behavioural factors affecting non-compliance of business tax has been pursued with the aim[1] of answering the question that " what are the most important factors affecting the non-c...
متن کاملDagstuhl Seminar 17051 Theory and Applications of Behavioural Types
This report documents the programme and the outcomes of Dagstuhl Seminar 17051 “Theory and Applications of Behavioural Types”. Behavioural types describe the dynamic aspects of programs, in contrast to data types, which describe the fixed structure of data. Perhaps the most well-known form of behavioural types is session types, which are type-theoretic specifications of communication protocols....
متن کاملAxiomatisations and Types for Probabilistic and Mobile Processes
The focus of this thesis are the theoretical foundations for reasoning about algorithms and protocols for modern distributed systems. Two important features of models for these systems are probability and typed mobility: probabilities can be used to quantify unreliable or unpredictable behaviour and types can be used to guarantee secure behaviour in systems with a mobile structure. In this thes...
متن کاملCollège doctoral THESE pour obtenir
The focus of this thesis are the theoretical foundations for reasoning about algorithms and protocols for modern distributed systems. Two important features of models for these systems are probability and typed mobility: probabilities can be used to quantify unreliable or unpredictable behaviour and types can be used to guarantee secure behaviour in systems with a mobile structure. In this thes...
متن کاملCollège doctoral THESE
The focus of this thesis are the theoretical foundations for reasoning about algorithms and protocols for modern distributed systems. Two important features of models for these systems are probability and typed mobility: probabilities can be used to quantify unreliable or unpredictable behaviour and types can be used to guarantee secure behaviour in systems with a mobile structure. In this thes...
متن کامل